#	( d ( and e ) )	( d ( and c ) )
#	( e ( and d ) )	( f ( or f ) )
>	( b ( or c ) )	( b ( and d ) )
#	( e ( or e ) )	( a ( and c ) )
#	( not d )	( c ( or b ) )
#	( a ( and a ) )	( d ( and f ) )
#	( d ( or f ) )	( b ( or a ) )
#	( d ( and b ) )	( a ( or a ) )
>	( f ( or b ) )	( f ( or f ) )
#	( c ( or c ) )	( b ( and b ) )
#	( f ( and f ) )	( a ( and a ) )
<	( d ( and a ) )	( a ( or c ) )
<	( f ( and c ) )	( f ( and f ) )
#	( e ( and a ) )	( f ( and a ) )
#	( a ( and c ) )	( not f )
#	( f ( and f ) )	( b ( or e ) )
>	( b ( or f ) )	( b ( and d ) )
#	( d ( and f ) )	( e ( or e ) )
#	( f ( and e ) )	( b ( and f ) )
>	( a ( or a ) )	( a ( and e ) )
<	( b ( and e ) )	( e ( or b ) )
#	( d ( or e ) )	( b ( and b ) )
#	( a ( or d ) )	( d ( or b ) )
#	( b ( and b ) )	( c ( and c ) )
<	( a ( or a ) )	( e ( or a ) )
#	( c ( and f ) )	( not b )
#	( b ( or a ) )	( not c )
#	( b ( and a ) )	( e ( and e ) )
#	( not b )	( c ( and e ) )
>	( d ( or d ) )	( e ( and d ) )
>	( f ( or a ) )	( c ( and f ) )
#	( f ( or a ) )	( b ( or f ) )
#	( e ( and f ) )	( a ( and a ) )
#	( e ( or a ) )	( b ( and b ) )
#	( a ( or e ) )	( e ( or c ) )
>	( d ( or c ) )	( d ( and b ) )
<	( b ( and d ) )	( d ( or c ) )
>	( d ( or f ) )	( a ( and f ) )
<	( a ( and f ) )	( e ( or a ) )
=	( c ( and e ) )	( e ( and c ) )
>	( f ( or f ) )	( f ( and b ) )
#	( f ( and c ) )	( d ( or d ) )
#	( c ( and c ) )	( d ( or d ) )
#	( d ( and d ) )	( b ( and c ) )
>	( b ( or f ) )	( b ( and b ) )
<	( a ( and e ) )	( e ( or a ) )
=	( c ( and d ) )	( d ( and c ) )
#	( d ( and d ) )	( e ( or e ) )
#	( c ( or d ) )	( d ( or a ) )
#	( a ( or e ) )	( c ( or c ) )
>	( d ( or f ) )	( d ( and e ) )
#	( d ( or d ) )	( e ( or b ) )
=	( e ( or f ) )	( f ( or e ) )
#	( b ( and d ) )	( c ( and d ) )
>	( c ( or b ) )	( b ( and b ) )
#	( d ( or d ) )	( a ( or e ) )
>	( e ( and e ) )	( e ( and b ) )
#	( b ( or a ) )	( f ( or c ) )
#	( f ( or d ) )	( d ( or c ) )
>	( c ( or a ) )	( a ( and a ) )
=	( e ( or d ) )	( e ( or d ) )
=	( c ( or e ) )	( c ( or e ) )
#	( a ( and e ) )	( f ( or d ) )
#	( a ( or b ) )	( c ( or d ) )
>	( e ( or a ) )	( a ( and a ) )
#	( e ( or f ) )	( d ( or f ) )
#	( b ( or f ) )	( e ( or c ) )
#	( b ( or a ) )	( e ( or f ) )
#	( a ( or e ) )	( f ( and b ) )
<	( f ( and a ) )	( b ( or f ) )
#	( a ( or e ) )	( a ( or b ) )
<	( b ( or b ) )	( b ( or c ) )
#	( f ( or c ) )	( a ( and d ) )
#	( c ( and a ) )	( e ( and d ) )
<	( f ( and a ) )	( a ( or f ) )
#	( a ( and e ) )	( a ( and d ) )
#	( e ( and a ) )	( e ( and d ) )
#	( b ( or d ) )	( f ( and f ) )
<	( a ( and c ) )	( c ( or d ) )
<	( c ( or c ) )	( c ( or f ) )
>	( d ( or b ) )	( b ( and a ) )
#	( d ( and e ) )	( b ( and c ) )
#	( e ( or a ) )	( e ( or f ) )
#	( c ( and d ) )	( c ( and e ) )
#	( a ( or a ) )	( c ( or f ) )
<	( c ( or c ) )	( c ( or e ) )
#	( f ( or f ) )	( c ( or a ) )
#	( c ( and a ) )	( e ( and a ) )
>	( d ( or a ) )	( c ( and d ) )
#	( e ( or e ) )	( d ( and c ) )
>	( b ( or d ) )	( b ( and a ) )
<	( b ( and d ) )	( b ( or d ) )
#	( c ( and a ) )	( f ( or f ) )
#	( b ( or e ) )	( d ( or b ) )
#	( e ( and f ) )	( e ( and a ) )
>	( a ( or a ) )	( a ( and d ) )
>	( f ( and f ) )	( f ( and b ) )
>	( e ( or f ) )	( c ( and e ) )
>	( c ( or d ) )	( d ( and c ) )
>	( e ( or d ) )	( e ( and e ) )
#	( f ( or e ) )	( e ( or a ) )
>	( e ( or b ) )	( e ( and a ) )
#	( d ( or f ) )	( b ( and a ) )
<	( e ( and a ) )	( e ( and e ) )
<	( d ( and d ) )	( a ( or d ) )
<	( b ( and e ) )	( c ( or e ) )
>	( f ( or b ) )	( f ( and f ) )
#	( d ( and a ) )	( c ( and b ) )
=	( e ( and c ) )	( c ( and e ) )
#	( c ( and c ) )	( f ( or d ) )
<	( e ( and e ) )	( c ( or e ) )
#	( e ( or e ) )	( d ( and d ) )
#	( f ( and f ) )	( b ( or a ) )
#	( not c )	( b ( or e ) )
#	( a ( or c ) )	( f ( or f ) )
#	( d ( or e ) )	( b ( or a ) )
>	( a ( or f ) )	( d ( and a ) )
>	( a ( or c ) )	( c ( and f ) )
#	( not f )	( a ( and d ) )
>	( e ( or f ) )	( e ( and f ) )
<	( f ( and f ) )	( e ( or f ) )
#	( b ( and d ) )	( b ( and e ) )
#	( c ( and f ) )	( c ( and a ) )
#	( c ( and f ) )	( a ( and c ) )
#	( c ( or c ) )	( f ( and e ) )
#	( b ( or c ) )	( c ( or a ) )
#	( b ( and b ) )	( e ( or a ) )
#	( f ( or d ) )	( b ( or e ) )
#	( c ( or b ) )	( e ( or a ) )
#	( a ( and a ) )	( d ( and c ) )
#	( b ( and b ) )	( c ( and f ) )
#	( a ( and a ) )	( c ( or e ) )
#	( e ( or f ) )	( c ( or c ) )
#	( f ( and f ) )	( a ( and c ) )
#	( not a )	( b ( and f ) )
#	( a ( or e ) )	( b ( or e ) )
<	( a ( and e ) )	( d ( or e ) )
#	( a ( and a ) )	( f ( or d ) )
=	( f ( or e ) )	( f ( or e ) )
#	( f ( and f ) )	( b ( or c ) )
#	( c ( or f ) )	( d ( or a ) )
<	( f ( and a ) )	( f ( or f ) )
=	( d ( or b ) )	( b ( or d ) )
>	( a ( or b ) )	( d ( and a ) )
<	( d ( and e ) )	( d ( or b ) )
#	( b ( and b ) )	( e ( and e ) )
<	( c ( and f ) )	( b ( or f ) )
#	( f ( or e ) )	( f ( or b ) )
<	( e ( or e ) )	( d ( or e ) )
<	( a ( and e ) )	( b ( or e ) )
#	( a ( or f ) )	( f ( or b ) )
>	( f ( or a ) )	( a ( and a ) )
>	( d ( or b ) )	( b ( and b ) )
=	( a ( and d ) )	( a ( and d ) )
#	( f ( or f ) )	( e ( and c ) )
#	( e ( or c ) )	( e ( or b ) )
#	( f ( and e ) )	( a ( and f ) )
#	( a ( or c ) )	( d ( or a ) )
#	( d ( and d ) )	( f ( and e ) )
#	( e ( and d ) )	( e ( and f ) )
#	( c ( or a ) )	( c ( or f ) )
<	( f ( and f ) )	( c ( or f ) )
=	( d ( and d ) )	( d ( and d ) )
<	( d ( and e ) )	( c ( or d ) )
=	( b ( or b ) )	( b ( or b ) )
<	( b ( and a ) )	( a ( and a ) )
<	( a ( and c ) )	( c ( or c ) )
#	( c ( and c ) )	( f ( and a ) )
#	( d ( and b ) )	( c ( and c ) )
#	( c ( or d ) )	( c ( or f ) )
>	( e ( or a ) )	( a ( and d ) )
>	( c ( or d ) )	( c ( and a ) )
<	( e ( and a ) )	( a ( or b ) )
#	( c ( or e ) )	( f ( or c ) )
>	( c ( or a ) )	( c ( and c ) )
#	( b ( and f ) )	( d ( and b ) )
#	( d ( and a ) )	( e ( and d ) )
#	( f ( and b ) )	( f ( and e ) )
>	( e ( or b ) )	( e ( and d ) )
#	( c ( or a ) )	( d ( or c ) )
<	( c ( or c ) )	( b ( or c ) )
#	( e ( or d ) )	( e ( or a ) )
#	( c ( and b ) )	( a ( and b ) )
>	( c ( or b ) )	( b ( or b ) )
#	( d ( and f ) )	( e ( and d ) )
#	( f ( and a ) )	( e ( and a ) )
>	( a ( or b ) )	( a ( or a ) )
<	( d ( and a ) )	( a ( and a ) )
#	( c ( or a ) )	( d ( or a ) )
#	( a ( and a ) )	( c ( or c ) )
#	( a ( or d ) )	( a ( or f ) )
<	( e ( and f ) )	( f ( or e ) )
<	( c ( and f ) )	( c ( or f ) )
=	( c ( and b ) )	( c ( and b ) )
#	( f ( and b ) )	( a ( and d ) )
#	( a ( and b ) )	( f ( or c ) )
<	( f ( or f ) )	( f ( or c ) )
=	( f ( and d ) )	( d ( and f ) )
#	( d ( or f ) )	( d ( or b ) )
<	( c ( and a ) )	( a ( or b ) )
#	( d ( or b ) )	( e ( or b ) )
#	( c ( and c ) )	( d ( and f ) )
>	( d ( or a ) )	( a ( or a ) )
>	( c ( or a ) )	( a ( and e ) )
#	( not c )	( a ( and f ) )
<	( d ( and f ) )	( a ( or f ) )
#	( c ( or f ) )	( b ( or c ) )
#	( e ( and d ) )	( e ( and c ) )
#	( a ( or d ) )	( e ( or c ) )
#	( f ( and f ) )	( c ( and d ) )
<	( d ( and d ) )	( d ( or b ) )
<	( f ( and d ) )	( d ( or a ) )
#	( c ( or c ) )	( d ( or d ) )
#	( b ( and a ) )	( b ( and c ) )
#	( a ( and f ) )	( a ( and c ) )
#	( a ( or d ) )	( b ( or d ) )
#	( f ( and b ) )	( d ( or c ) )
#	( c ( or d ) )	( e ( or c ) )
#	( a ( and b ) )	( f ( and c ) )
#	( c ( or b ) )	( f ( and e ) )
#	( e ( or a ) )	( d ( or f ) )
#	( f ( or f ) )	( e ( or c ) )
#	( e ( and f ) )	( a ( and d ) )
#	( c ( and c ) )	( a ( or e ) )
<	( b ( and f ) )	( f ( or c ) )
#	( c ( or c ) )	( f ( or d ) )
>	( c ( or b ) )	( b ( and a ) )
<	( c ( and b ) )	( e ( or b ) )
#	( e ( and b ) )	( c ( or c ) )
#	( e ( and e ) )	( d ( or c ) )
#	( a ( or d ) )	( a ( or e ) )
#	( a ( or b ) )	( e ( or b ) )
<	( e ( and b ) )	( b ( or f ) )
<	( e ( and f ) )	( f ( and f ) )
#	( e ( and b ) )	( a ( or a ) )
<	( e ( and c ) )	( e ( or f ) )
#	( e ( or e ) )	( f ( or b ) )
#	( f ( or f ) )	( c ( or e ) )
#	( f ( and a ) )	( f ( and e ) )
>	( c ( or b ) )	( c ( or c ) )
>	( a ( or f ) )	( e ( and f ) )
#	( d ( and f ) )	( c ( and c ) )
#	( d ( or e ) )	( e ( or c ) )
#	( a ( and d ) )	( a ( and c ) )
>	( d ( or b ) )	( d ( and d ) )
<	( f ( and a ) )	( a ( or e ) )
<	( a ( and c ) )	( a ( or c ) )
>	( d ( or d ) )	( d ( and a ) )
<	( a ( and b ) )	( b ( or a ) )
=	( b ( and f ) )	( f ( and b ) )
#	( c ( or e ) )	( b ( and d ) )
#	( c ( or b ) )	( e ( or c ) )
>	( d ( or b ) )	( b ( and e ) )
<	( d ( and f ) )	( d ( or f ) )
#	( d ( and f ) )	( c ( and d ) )
#	( d ( and b ) )	( e ( or a ) )
<	( d ( and c ) )	( d ( or d ) )
#	( f ( or a ) )	( f ( or e ) )
=	( a ( and d ) )	( d ( and a ) )
#	( c ( and c ) )	( e ( or b ) )
<	( c ( and e ) )	( c ( or a ) )
=	( f ( or b ) )	( b ( or f ) )
#	( c ( and f ) )	( e ( and f ) )
>	( e ( or f ) )	( e ( or e ) )
#	( e ( or c ) )	( a ( and a ) )
#	( f ( and f ) )	( c ( and b ) )
#	( e ( and a ) )	( c ( and f ) )
#	( d ( and a ) )	( e ( and f ) )
#	( b ( or e ) )	( d ( and d ) )
>	( c ( or e ) )	( a ( and e ) )
>	( b ( or c ) )	( b ( and b ) )
#	( a ( or e ) )	( d ( or d ) )
#	( b ( or e ) )	( d ( and a ) )
#	( f ( and b ) )	( e ( and f ) )
#	( not e )	( f ( or b ) )
#	( c ( or a ) )	( b ( and d ) )
#	( e ( and f ) )	( b ( and b ) )
=	( b ( and e ) )	( e ( and b ) )
#	( a ( or a ) )	( c ( or e ) )
>	( f ( or c ) )	( f ( and f ) )
#	( d ( and f ) )	( b ( or b ) )
#	( b ( and b ) )	( c ( or e ) )
#	( b ( or b ) )	( a ( or c ) )
#	( c ( or c ) )	( d ( and a ) )
#	( a ( or e ) )	( a ( or f ) )
#	( b ( or e ) )	( c ( or f ) )
>	( d ( or e ) )	( d ( or d ) )
#	( f ( and c ) )	( a ( and d ) )
#	( d ( or e ) )	( d ( or f ) )
#	( a ( or a ) )	( b ( or d ) )
#	( f ( or e ) )	( d ( or e ) )
<	( e ( and f ) )	( e ( or e ) )
#	( d ( or a ) )	( f ( or d ) )
#	( e ( or e ) )	( c ( or b ) )
=	( f ( and f ) )	( f ( or f ) )
#	( e ( and e ) )	( d ( and d ) )
>	( f ( or e ) )	( e ( and a ) )
#	( d ( or a ) )	( f ( and b ) )
#	( d ( and b ) )	( d ( and f ) )
#	( f ( or c ) )	( e ( or a ) )
#	( b ( or d ) )	( b ( or c ) )
#	( c ( or b ) )	( d ( or e ) )
#	( d ( and a ) )	( e ( and a ) )
<	( a ( and c ) )	( a ( or a ) )
>	( f ( or b ) )	( f ( and e ) )
#	( f ( or c ) )	( e ( or f ) )
#	( d ( and d ) )	( f ( or a ) )
#	( d ( or c ) )	( e ( and e ) )
<	( a ( and f ) )	( a ( or e ) )
#	( a ( or d ) )	( c ( and f ) )
#	( d ( or d ) )	( c ( and c ) )
>	( e ( or c ) )	( b ( and c ) )
#	( a ( and d ) )	( b ( and f ) )
<	( b ( and a ) )	( b ( and b ) )
=	( f ( or a ) )	( f ( or a ) )
#	( c ( or c ) )	( b ( and a ) )
>	( c ( or c ) )	( f ( and c ) )
>	( d ( and d ) )	( d ( and a ) )
<	( b ( and c ) )	( c ( or a ) )
>	( e ( or d ) )	( d ( and b ) )
#	( f ( and a ) )	( c ( or c ) )
#	( c ( or f ) )	( d ( or b ) )
>	( f ( or a ) )	( f ( and c ) )
>	( f ( or f ) )	( c ( and f ) )
#	( e ( and f ) )	( d ( and e ) )
#	( d ( and a ) )	( d ( and f ) )
#	( f ( or a ) )	( e ( and e ) )
#	( d ( and c ) )	( c ( and a ) )
<	( e ( and b ) )	( e ( or e ) )
#	( c ( or d ) )	( f ( or c ) )
>	( d ( or c ) )	( a ( and d ) )
#	( d ( or e ) )	( a ( or c ) )
#	( e ( and d ) )	( f ( and f ) )
>	( d ( or c ) )	( e ( and c ) )
#	( c ( and a ) )	( e ( and e ) )
#	( b ( or a ) )	( f ( and f ) )
=	( e ( or d ) )	( d ( or e ) )
<	( b ( and d ) )	( e ( or d ) )
#	( f ( or d ) )	( a ( or d ) )
>	( c ( and c ) )	( c ( and d ) )
<	( c ( and e ) )	( b ( or e ) )
#	( a ( or d ) )	( f ( or b ) )
#	( c ( or c ) )	( b ( or b ) )
#	( b ( and a ) )	( e ( or d ) )
#	( a ( or e ) )	( c ( or b ) )
=	( e ( or c ) )	( c ( or e ) )
#	( c ( and a ) )	( b ( or b ) )
#	( a ( or b ) )	( a ( or e ) )
#	( b ( or d ) )	( a ( or d ) )
#	( a ( or b ) )	( c ( and d ) )
#	( d ( or e ) )	( f ( or e ) )
>	( b ( or f ) )	( a ( and f ) )
<	( a ( and c ) )	( e ( or c ) )
<	( b ( or b ) )	( b ( or e ) )
<	( a ( and f ) )	( d ( or f ) )
#	( f ( or a ) )	( d ( and e ) )
=	( a ( or a ) )	( a ( and a ) )
#	( b ( or b ) )	( e ( or c ) )
#	( e ( and b ) )	( c ( and b ) )
<	( f ( and f ) )	( f ( or e ) )
>	( f ( or d ) )	( f ( and e ) )
#	( e ( or b ) )	( b ( or a ) )
#	( a ( and c ) )	( f ( and d ) )
>	( f ( or b ) )	( b ( and e ) )
>	( a ( or e ) )	( c ( and a ) )
>	( d ( or c ) )	( d ( or d ) )
#	( b ( or d ) )	( c ( and e ) )
>	( c ( or d ) )	( d ( and d ) )
#	( d ( and d ) )	( a ( or a ) )
#	( f ( and a ) )	( e ( and c ) )
=	( c ( and c ) )	( c ( and c ) )
#	( f ( and f ) )	( d ( or d ) )
=	( c ( or c ) )	( c ( or c ) )
<	( b ( and b ) )	( d ( or b ) )
>	( b ( or e ) )	( e ( and c ) )
<	( d ( and b ) )	( d ( or f ) )
#	( f ( or d ) )	( a ( and a ) )
#	( f ( or f ) )	( d ( or e ) )
<	( b ( and c ) )	( b ( or c ) )
>	( e ( or c ) )	( e ( and e ) )
<	( b ( and b ) )	( a ( or b ) )
#	( d ( and d ) )	( f ( or f ) )
>	( f ( or b ) )	( c ( and b ) )
<	( a ( and c ) )	( c ( and c ) )
#	( b ( and d ) )	( b ( and f ) )
#	( f ( and c ) )	( a ( or d ) )
<	( d ( and e ) )	( e ( or a ) )
#	( c ( or b ) )	( d ( or c ) )
=	( f ( and a ) )	( a ( and f ) )
<	( b ( and d ) )	( d ( and d ) )
#	( a ( and f ) )	( c ( and a ) )
<	( e ( or e ) )	( e ( or c ) )
<	( c ( and d ) )	( d ( or c ) )
#	( d ( or d ) )	( c ( or a ) )
#	( e ( or f ) )	( a ( or c ) )
#	( c ( or e ) )	( d ( and f ) )
#	( a ( or b ) )	( a ( or d ) )
<	( b ( and e ) )	( e ( and e ) )
#	( e ( and e ) )	( c ( and a ) )
#	( a ( or a ) )	( e ( or b ) )
>	( b ( or d ) )	( e ( and b ) )
#	( a ( and b ) )	( b ( and f ) )
#	( a ( or f ) )	( b ( and e ) )
#	( c ( or e ) )	( c ( or d ) )
#	( a ( and a ) )	( f ( and f ) )
#	( a ( and d ) )	( f ( and a ) )
#	( c ( and c ) )	( b ( or d ) )
>	( c ( or b ) )	( a ( and c ) )
#	( b ( or d ) )	( c ( or c ) )
#	( a ( or e ) )	( d ( and d ) )
